Programmable Logic Controllers in the Context of Industry 4.0

نویسندگان

چکیده

Programmable logic controllers (PLCs) are an established platform, widely used throughout industrial automation but poorly understood among researchers. This article gives overview of the state practice, explaining why this settled technology persists industry and presenting a critical analysis strengths weaknesses dominant programming styles for today's PLC-based systems. We describe software execution patterns that standardized loosely in IEC 61131-3. identify opportunities improvements would enable increasingly complex applications while strengthening safety reliability. Specifically, we propose deterministic, distributed models embrace explicit timing, event-triggered computation, improved security.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

a rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

this paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and petri nets. in the beginning, programmable logic controllers were widely designed by ladder logic diagrams. when complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. thus, petri nets as a high l...

متن کامل

Partial Order Verification of Programmable Logic Controllers

We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net (RN). We present analysis methods based on the partial order semantics of RN’s, which allow the generation of partial order traces as counter examples in the presence of programming errors. To that purpose, the behav...

متن کامل

Software verification for programmable logic controllers

ion Abstraction is a fundamental concept used in all formal verification methods. Abstracting means replacing a concrete object with an abstract one which is more universal, and therefore, often has a simpler structure than before. A well-chosen abstraction simplifies as much as possible, without losing too much information about the concrete object. Abstractions can be used in different ways d...

متن کامل

Automatic Fault Localization for Programmable Logic Controllers

Programmable Logic Controllers (PLCs) are widely applied to control safety critical systems. Efficient formal and non-formal methods to detect faulty behavior have been developed, but finding the cause of the buggy behavior is often still a manual process. Automatic fault localization for PLCs is studied in this paper. Methods for automated debugging are analyzed and compared with respect to ac...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Industrial Informatics

سال: 2021

ISSN: ['1551-3203', '1941-0050']

DOI: https://doi.org/10.1109/tii.2020.3007764